Carroll Morgan: pesquisar na Z-Library

Sua porta de entrada para o conhecimento e a cultura. Acessível para todos.

Don't use scam websites

Livros (17)
Mais populares
Lista
- Lista
- Tabela

1

Changeling the Dreaming 20th Anniversary

Changeling the Dreaming 20th Anniversary

Christine Beard, Charlie Cantrell, Maggie Carroll, Jackie Cassada, Matthew Dawkins, Shoshana Kessock, Ian Lemke, Jonathan McFarland, Matthew McFarland, Morgan A. McLaughlin McFarland, Krister M. Michl, Nicky Rea, Holden Shearer, etc

Ano:

2017

Idioma:

english

Arquivo:

PDF, 54.99 MB

0 / 0

english, 2017

2

Programming from Specifications

Programming from Specifications

Ano:

1998

Idioma:

english

Arquivo:

PDF, 1.28 MB

0 / 0

english, 1998

3

Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

Ano:

2004

Idioma:

english

Arquivo:

PDF, 2.46 MB

0 / 0

english, 2004

4

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

Ano:

1993

Idioma:

english

Arquivo:

PDF, 13.42 MB

0 / 0

english, 1993

5

Programming methodology

Programming methodology

Carroll Morgan, Annabelle McIver

Ano:

2003

Idioma:

english

Arquivo:

DJVU, 3.55 MB

0 / 4.5

english, 2003

6

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

Ano:

2013

Idioma:

english

Arquivo:

PDF, 6.36 MB

0 / 0

english, 2013

7

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

Ano:

2011

Idioma:

english

Arquivo:

PDF, 2.77 MB

0 / 0

english, 2011

8

Programming from specifications

Programming from specifications

Morgan, Carroll

Ano:

1994

Idioma:

english

Arquivo:

PDF, 1.29 MB

0 / 0

english, 1994

9

Anompolichi: The Wordmaster

Anompolichi: The Wordmaster

Phillip Carroll Morgan

Idioma:

english

Arquivo:

PDF, 2.92 MB

0 / 5.0

english

10

The Science Of Quantitative Information Flow

The Science Of Quantitative Information Flow

Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith

Ano:

2020

Idioma:

english

Arquivo:

PDF, 8.12 MB

0 / 0

english, 2020

11

Programming Methodology

Programming Methodology

Annabelle McIver, Carroll Morgan (eds.)

Ano:

2003

Idioma:

english

Arquivo:

PDF, 11.96 MB

0 / 0

english, 2003

12

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.)

Ano:

2013

Idioma:

english

Arquivo:

PDF, 5.22 MB

0 / 0

english, 2013

13

On the Refinement Calculus

On the Refinement Calculus

Springer-Verlag London

Carroll Morgan (auth.), Carroll Morgan BSc, PhD, Trevor Vickers BSc, PhD (eds.)

Ano:

1994

Idioma:

english

Arquivo:

PDF, 5.10 MB

0 / 0

english, 1994

14

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

Ano:

2011

Idioma:

english

Arquivo:

PDF, 3.31 MB

0 / 0

english, 2011

15

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 4.34 MB

0 / 0

english, 2009

16

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)

Ano:

2011

Idioma:

english

Arquivo:

PDF, 2.49 MB

0 / 0

english, 2011

17

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Zuohua Ding (auth.), Martin Leucker, Carroll Morgan (eds.)

Ano:

2009

Idioma:

english

Arquivo:

PDF, 4.40 MB

0 / 0

english, 2009